Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
451	Auto in Agda Programming proof search using reflection Pepijn Kokke and Wouter Swierstra Universiteit Utrecht pepijn.kokke@gmail Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Type theory Functional languages Automated theorem proving Formal methods Theoretical computer science Agda Proof assistant Mathematical proof Dependent type Mathematics Logic Programming language theory
452	PDF Document Add to Reading List Source URL: dwn.tensionsoftware.com Language: English Software engineering Type theory Expression Lookup table Spreadsheet Bc programming language Mathematics Computing Variables
453	Document Number: Revises: Date: Authors: Project: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-10-13 03:15:38 C++ C programming language Data types Cross-platform software Type theory Reference Pointer C++11 Restrict Software engineering Computer programming Computing
454	Modula Bibliography - by ModulaWare.com Page 1 Add to Reading List Source URL: www.modulaware.com Language: English - Date: 2011-05-17 02:16:05 Modula-2 Computer workstations Pascal Procedural programming languages Lilith Niklaus Wirth Modula PDP-11 Computing Software engineering Programming language theory
455	A prettier printer Philip Wadler Joyce Kilmer and most computer scientists agree: there is no poem as lovely as a tree. In our love affair with the tree it is parsed, pattern matched, pruned — and printed. A pretty pri Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:39 ALGOL 68 Associative property Microsoft Word Software Computing Programming language theory
456	The VLISP Flattener J. D. Guttman L. G. Monk W. M. Farmer Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Brainfuck Percent-encoding Null character Denotational semantics Programming language theory ZPAQ Computing Theoretical computer science Control characters
457	EÆ ient Inferen e of Stati ? Types for Java Byte ode Etienne M. Gagnon, Laurie J. Hendren and Guillaume Mar eau Sable Resear h Group, S hool of Computer S ien e M Gill University, Montreal, Canada [gagnon,hendren,gmar e Add to Reading List Source URL: gmarceau.qc.ca Language: English - Date: 2008-03-12 13:57:33 Computing Primitive types Programming language theory Compiler construction Static single assignment form Type system String Byte Type safety Data types Software engineering Type theory
458	Lemma 1 Ref: DS/FMU/FEF/019 DRA FRONT END FILTER PROJECT Issue: Revision : 2 .2 Specification of Query Transformations in SML (I) Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:37:58 Procedural programming languages Data types Functional languages Type theory Standard ML Enumerated type ALGOL 68 SQL Primitive data type Computing Software engineering Programming language theory
459	2015 Mid-year Examination/test Timetable Date/time Code Title Add to Reading List Source URL: www.canterbury.ac.nz Language: English - Date: 2015-05-11 22:19:43 C Engineering physics Software engineering Programming language theory Computing Biomechanics Motor control
460	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:51 Computability theory Recursion Theoretical computer science Theory of computation Programming idioms Function Algorithm Scheme Tail call Software engineering Computer programming Mathematics

UPDATE